<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>Bibliography</title>
<link rel="stylesheet" href="../../../../../doc/src/boostbook.css" type="text/css">
<meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
<link rel="home" href="../index.html" title="Chapter 1. Boost.Contract 1.0.0">
<link rel="up" href="../index.html" title="Chapter 1. Boost.Contract 1.0.0">
<link rel="prev" href="release_notes.html" title="Release Notes">
<link rel="next" href="acknowledgments.html" title="Acknowledgments">
</head>
<body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
<table cellpadding="2" width="100%"><tr>
<td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../../../../boost.png"></td>
<td align="center"><a href="../../../../../index.html">Home</a></td>
<td align="center"><a href="../../../../../libs/libraries.htm">Libraries</a></td>
<td align="center"><a href="http://www.boost.org/users/people.html">People</a></td>
<td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td>
<td align="center"><a href="../../../../../more/index.htm">More</a></td>
</tr></table>
<hr>
<div class="spirit-nav">
<a accesskey="p" href="release_notes.html"><img src="../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.html"><img src="../../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="acknowledgments.html"><img src="../../../../../doc/src/images/next.png" alt="Next"></a>
</div>
<div class="section">
<div class="titlepage"><div><div><h2 class="title" style="clear: both">
<a name="boost_contract.bibliography"></a><a class="link" href="bibliography.html" title="Bibliography">Bibliography</a>
</h2></div></div></div>
<p>
      This section lists all references consulted while designing and developing
      this library.
    </p>
<p>
      <a name="Andrzej13_anchor"></a>[Andrzej13] A. Krzemienski. <a href="https://akrzemi1.wordpress.com/2013/01/04/preconditions-part-i/" target="_top"><span class="emphasis"><em>Andrzej's
      C++ blog: Preconditions</em></span></a>. 2013.
    </p>
<p>
      <a name="Bright04_anchor"></a>[Bright04] W. Bright. <a href="https://dlang.org/spec/contracts.html" target="_top"><span class="emphasis"><em>Contract
      Programming for the D Programming Language</em></span></a>. 2004.
    </p>
<p>
      <a name="Bright04b_anchor"></a>[Bright04b] W. Bright. <a href="http://www.digitalmars.com/ctg/contract.html" target="_top"><span class="emphasis"><em>Contract
      Programming for the Digital Mars C++ Compiler</em></span></a>. 2004.
    </p>
<p>
      <a name="C2_anchor"></a>[C2] Aechmea. <a href="http://www.programmersheaven.com/app/news/DisplayNews.aspx?NewsID=3843" target="_top"><span class="emphasis"><em>C^2
      Contract Programming add-on for C++</em></span></a>. 2005.
    </p>
<p>
      <a name="Chrome_anchor"></a>[Chrome] RemObjects. <a href="http://blogs.remobjects.com/blogs/mh/2008/05/01/p216" target="_top"><span class="emphasis"><em>Chrome:
      Contract Programming for Object Pascal in .NET</em></span></a>. 2002.
    </p>
<p>
      <a name="Clarke06_anchor"></a>[Clarke06] L. A. Clarke and D. S. Rosenblum.
      <a href="http://discovery.ucl.ac.uk/4991/1/4991.pdf" target="_top"><span class="emphasis"><em>A Historical
      Perspective on Runtime Assertion Checking in Software Development</em></span></a>.
      Newsletter ACM SIGSOFT Software Engineering Notes, 2006.
    </p>
<p>
      <a name="Cline90_anchor"></a>[Cline90] M. Cline and D. Lea. <span class="emphasis"><em>The Behaviour
      of C++ Classes</em></span> and <a href="http://surface.syr.edu/cgi/viewcontent.cgi?article=1116&amp;context=eecs" target="_top"><span class="emphasis"><em>Using
      Annotated C++</em></span></a>. Proc. of the Symposium on Object Oriented
      Programming Emphasizing Practical Applications, Maris College, 1990.
    </p>
<p>
      <a name="Ellis90_anchor"></a>[Ellis90] M. A. Ellis and B. Stroustrup. <span class="emphasis"><em>The
      Annotated C++ Reference Manual</em></span>. ANSI Base Document, Addison Wesley,
      1990.
    </p>
<p>
      <a name="Gautron92_anchor"></a>[Gautron92] P. Gautron. <span class="emphasis"><em>An Assertion
      Mechanism Based on Exceptions</em></span>. Fourth C++ Technical Conference,
      1992.
    </p>
<p>
      <a name="Hoare73_anchor"></a>[Hoare73] C. A. R. Hoare. <span class="emphasis"><em>Hints on Programming
      Language Design</em></span>. Stanford University Artificial Intelligence memo
      AIM-224/STAN-CS-73-403, pages 193-216, 1973.
    </p>
<p>
      <a name="CodeContracts_anchor"></a>[CodeContracts] Microsoft Research. <a href="http://research.microsoft.com/en-us/projects/contracts/" target="_top"><span class="emphasis"><em>Code
      Contracts: Design-By-Contract Programming for All .NET Programming Languages</em></span></a>.
      2012.
    </p>
<p>
      <a name="iContract_anchor"></a>[iContract] O. Enseling. <a href="http://www.javaworld.com/javaworld/jw-02-2001/jw-0216-cooltools.html" target="_top"><span class="emphasis"><em>iContract:
      Contract Programming for Java</em></span></a>. 2001.
    </p>
<p>
      <a name="Jcontract_anchor"></a>[Jcontract] Parasoft. <a href="http://www.parasoft.com/jsp/products/article.jsp?label=product_info_Jcontract" target="_top"><span class="emphasis"><em>Jcontract:
      Contract Programming for Java</em></span></a>.
    </p>
<p>
      <a name="Lindrud04_anchor"></a>[Lindrud04] J. Lindrud. <a href="http://www.codeproject.com/Articles/8293/Design-by-Contract-in-C" target="_top"><span class="emphasis"><em>Design
      by Contract in C++</em></span></a>. 2004.
    </p>
<p>
      <a name="Maley99_anchor"></a>[Maley99] D. Maley and I. Spence. <a href="http://www.computer.org/portal/web/csdl/doi/10.1109/TOOLS.1999.779000" target="_top"><span class="emphasis"><em>Emulating
      Design by Contract in C++</em></span></a>. Proceedings of TOOLS, IEEE Computer
      Society, 1999.
    </p>
<p>
      <a name="Meyer97_anchor"></a>[Meyer97] B. Meyer. <span class="emphasis"><em>Object Oriented
      Software Construction</em></span>. Prentice-Hall, 2nd edition, 1997.
    </p>
<p>
      <a name="Mitchell02_anchor"></a>[Mitchell02] R. Mitchell and J. McKim. <span class="emphasis"><em>Design
      by Contract, by Example</em></span>. Addison-Wesley, 2002.
    </p>
<p>
      <a name="N1613_anchor"></a>[N1613] T. Ottosen. <a href="http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2004/n1613.pdf" target="_top"><span class="emphasis"><em>Proposal
      to add Design by Contract to C++</em></span></a>. The C++ Standards Committee,
      N1613, 2004.
    </p>
<p>
      <a name="N1653_anchor"></a>[N1653] C. Nelson. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2004/n1653.htm" target="_top"><span class="emphasis"><em>Working
      draft changes for C99 preprocessor synchronization</em></span></a>. C++
      Standards Committee, N1653, 2004.
    </p>
<p>
      <a name="N1669_anchor"></a>[N1669] T. Ottosen. <a href="http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2004/n1669.html" target="_top"><span class="emphasis"><em>Proposal
      to add Contract Programming to C++ (revision 1)</em></span></a>. The C++
      Standards Committee, N1669, 2004.
    </p>
<p>
      <a name="N1773_anchor"></a>[N1773] D. Abrahams, L. Crowl, T. Ottosen, and J.
      Widman. <a href="http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2005/n1773.html" target="_top"><span class="emphasis"><em>Proposal
      to add Contract Programming to C++ (revision 2)</em></span></a>. The C++
      Standards Committee, N1773, 2005.
    </p>
<p>
      <a name="N1866_anchor"></a>[N1866] L. Crowl and T. Ottosen. <a href="http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2005/n1866.html" target="_top"><span class="emphasis"><em>Proposal
      to add Contract Programming to C++ (revision 3)</em></span></a>. The C++
      Standards Committee, N1866, 2005.
    </p>
<p>
      <a name="N1895_anchor"></a>[N1895] H. Sutter and F. Glassborow. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2005/n1895.pdf" target="_top"><span class="emphasis"><em>Delegating
      Constructors (revision 2)</em></span></a>. C++ Standards Committee, N1895,
      2005.
    </p>
<p>
      <a name="N1962_anchor"></a>[N1962] L. Crowl and T. Ottosen. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n1962.html" target="_top"><span class="emphasis"><em>Proposal
      to add Contract Programming to C++ (revision 4)</em></span></a>. The C++
      Standards Committee, N1962, 2006.
    </p>
<p>
      <a name="N2081_anchor"></a>[N2081] D. Gregor and B. Stroustrup. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n2081.pdf" target="_top"><span class="emphasis"><em>Concepts
      (revision 1)</em></span></a>. The C++ Standards Committee, N2081, 2006.
    </p>
<p>
      <a name="N2887_anchor"></a>[N2887] G. Dos Reis, B. Stroustrup, and A. Meredith.
      <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2887.pdf" target="_top"><span class="emphasis"><em>Axioms:
      Semantics Aspects of C++ Concepts</em></span></a>. The C++ Standards Committee,
      N2887, 2009.
    </p>
<p>
      <a name="N2914_anchor"></a>[N2914] P. Becker. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2914.pdf" target="_top"><span class="emphasis"><em>Working
      Draft, Standard for Programming Language C++</em></span></a>. The C++ Standards
      Committee, N2914, 2009.
    </p>
<p>
      <a name="N2906_anchor"></a>[N2906] B. Stroustrup. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2906.pdf" target="_top"><span class="emphasis"><em>Simplifying
      the sue of concepts</em></span></a>. The C++ Standards Committee, N2906,
      2009.
    </p>
<p>
      <a name="N3248_anchor"></a>[N3248] J. Lakos. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3248.pdf" target="_top"><span class="emphasis"><em><code class="literal">noexcept</code>
      Prevents Library Validation</em></span></a>. The C++ Standards Committee,
      N3248, 2011.
    </p>
<p>
      <a name="N4154_anchor"></a>[N4154] D. Krauss. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4154.pdf" target="_top"><span class="emphasis"><em>Operator
      <code class="literal">assert</code></em></span></a>. The C++ Standards Committee,
      N4154, 2014.
    </p>
<p>
      <a name="N4160_anchor"></a>[N4160] A. Krzemienski. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4160.html" target="_top"><span class="emphasis"><em>Value
      constraints</em></span></a>. The C++ Standards Committee, N4160, 2014.
    </p>
<p>
      <a name="N4248_anchor"></a>[N4248] A. Meredith. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4248.html" target="_top"><span class="emphasis"><em>Library
      Preconditions are a Language Feature</em></span></a>. The C++ Standards
      Committee, N4248, 2014.
    </p>
<p>
      <a name="N4293_anchor"></a>[N4293] J. D. Garcia. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4293.pdf" target="_top"><span class="emphasis"><em>C++
      language support for contract programming</em></span></a>. The C++ Standards
      Committee, N4293, 2014.
    </p>
<p>
      <a name="N4378_anchor"></a>[N4378] J. Lakos, N. Myers, A. Zakharov, and A.
      Beels. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4378.pdf" target="_top"><span class="emphasis"><em>Language
      Support for Contract Assertions (Revision 10)</em></span></a>. The C++ Standards
      Committee, N4378, 2015.
    </p>
<p>
      <a name="Nana_anchor"></a>[Nana] P. J. Maker. <a href="https://github.com/pjmaker/nana" target="_top"><span class="emphasis"><em>GNU
      Nana</em></span></a>. 2014.
    </p>
<p>
      <a name="N4379_anchor"></a>[N4378] J. Lakos and N. Myers. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4379.pdf" target="_top"><span class="emphasis"><em>FAQ
      about Contract Assertions</em></span></a>. The C++ Standards Committee,
      N4379, 2015.
    </p>
<p>
      <a name="N4435_anchor"></a>[N4435] W. E. Brown. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4435.pdf" target="_top"><span class="emphasis"><em>Proposing
      Contract Attributes</em></span></a>. The C++ Standards Committee, N4435,
      2015.
    </p>
<p>
      <a name="P0147_anchor"></a>[P0147] L. Crowl. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0147r0.html" target="_top"><span class="emphasis"><em>The
      Use and Implementation of Contracts</em></span></a>. The C++ Standards Committee,
      P0147R0, 2015.
    </p>
<p>
      <a name="P0166_anchor"></a>[P0166] J. D. Garcia. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0166r0.pdf" target="_top"><span class="emphasis"><em>Three
      interesting questions about contracts</em></span></a>. The C++ Standards
      Committee, P0166R0, 2015.
    </p>
<p>
      <a name="P0246_anchor"></a>[P0246] N. Myers. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0246r0.pdf" target="_top"><span class="emphasis"><em>Criteria
      for Contract Support Merged Proposal</em></span></a>. The C++ Standards
      Committee, P0246R0, 2016.
    </p>
<p>
      <a name="P0287_anchor"></a>[P0287] G. Dos Reis, J.D. Garcia, F. Logozzo, M.
      Fahndrich, S. Lahiri. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0287r0.pdf" target="_top"><span class="emphasis"><em>Simple
      Contracts for C++ (R1)</em></span></a>. The C++ Standards Committee, P0287R0,
      2016.
    </p>
<p>
      <a name="P0380_anchor"></a>[P0380] G. Dos Reis, J.D. Garcia, J. Lakos, A. Meredith,
      N. Myers, and B. Stroustrup. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0380r1.pdf" target="_top"><span class="emphasis"><em>A
      Contract Design</em></span></a>. The C++ Standards Committee, P0380R1, 2016.
    </p>
<p>
      <a name="P0542_anchor"></a>[P0542] G. Dos Reis, J.D. Garcia, J. Lakos, A. Meredith,
      N. Myers, and B. Stroustrup. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0542r0.html" target="_top"><span class="emphasis"><em>Support
      for contract based programming in C++</em></span></a>. The C++ Standards
      Committee, P0542R0, 2017.
    </p>
<p>
      <a name="Rosenblum95_anchor"></a>[Rosenblum95] D. S. Rosenblum. <a href="http://www.cs.toronto.edu/~chechik/courses06/csc410/rosenblum_assert95.pdf" target="_top"><span class="emphasis"><em>A
      practical Approach to Programming With Assertions</em></span></a>. IEEE
      Transactions on Software Engineering, 1995.
    </p>
<p>
      <a name="SPARKAda_anchor"></a>[SPARKAda] Praxis. <a href="http://www.praxis-his.com/sparkada/language.asp" target="_top"><span class="emphasis"><em>SPARKAda
      (Ada-like Language with Contract Programming)</em></span></a>.
    </p>
<p>
      <a name="SpecSharp_anchor"></a>[SpecSharp] Microsoft. <a href="http://research.microsoft.com/en-us/projects/specsharp/" target="_top"><span class="emphasis"><em>Spec#
      (C# Extension)</em></span></a>.
    </p>
<p>
      <a name="Stroustrup94_anchor"></a>[Stroustrup94] B. Stroustrup. <span class="emphasis"><em>The
      Design and Evolution of C++</em></span>. Addison Wesley, 1994.
    </p>
<p>
      <a name="Stroustrup13_anchor"></a>[Stroustrup13] B. Stroustrup. <span class="emphasis"><em>The
      C++ Programming Language</em></span>. Addison Wesley, 4th Edition, 2013.
    </p>
<p>
      <a name="Tandin04_anchor"></a>[Tandin04] A. Tandin. <a href="http://www.codeproject.com/KB/macros/DbC_and_Doxygen.aspx" target="_top"><span class="emphasis"><em>Design
      by Contract macros for C++ and link to Doxygen</em></span></a>. 2004.
    </p>
<p>
      <a name="Wilson06_anchor"></a>[Wilson06] M. Wilson. <a href="http://www.artima.com/cppsource/deepspace.html" target="_top"><span class="emphasis"><em>Contract
      Programming 101 - The Nuclear Reactor and the Deep Space Probe</em></span></a>.
      The C++ Source, 2006.
    </p>
</div>
<table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
<td align="left"></td>
<td align="right"><div class="copyright-footer">Copyright © 2008-2019 Lorenzo Caminiti<p>
        Distributed under the Boost Software License, Version 1.0 (see accompanying
        file LICENSE_1_0.txt or a copy at <a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">http://www.boost.org/LICENSE_1_0.txt</a>)
      </p>
</div></td>
</tr></table>
<hr>
<div class="spirit-nav">
<a accesskey="p" href="release_notes.html"><img src="../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.html"><img src="../../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="acknowledgments.html"><img src="../../../../../doc/src/images/next.png" alt="Next"></a>
</div>
</body>
</html>
